Calculus of logic
Synonyms for "calculus of logic" (5 found)
Ranked by relevance and common usage.
Closest matches (1)
Noun(1 words)
deductive calculus
Strong matches (2)
Adjective(1 words)
formal logics
Noun(1 words)
logic calculus
Related words (2)
Noun(2 words)
proof calculussymbolic logic
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
2 entriesformal systemmathematical logic
More specific
6 entrieslambda calculusnatural deductionpredicate calculuspropositional calculusresolution calculussequent calculus
Collocations
6 entriesBoolean calculusformal logiclambda calculuspredicate calculuspropositional calculussymbolic logic
Derivations
2 entrieslogic calculussymbolic logic